Reservation table scheduling: branch-and-bound based optimizationvs. integer linear programming techniques
نویسندگان
چکیده
منابع مشابه
Reservation table scheduling: branch-and-bound based optimization vs. integer linear programming techniques
The recourse to operation research solutions has strongly increased the performances of scheduling task in the High-Level Synthesis (called hardware compilation). Scheduling a whole program is not possible as too many constraints and objectives interact. We decompose high-level scheduling in three steps. Step 1: Coarse-grain scheduling tries to exploit parallelism and locality of the whole prog...
متن کاملBranch and bound, integer, and non-integer programming
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today that is the use of branch and bound to handle discrete constructs, which, while often formally representable in terms of zero-one integer variables, can be handled more elegantly and effectively by applying branch and boun...
متن کاملInteger Programming: Using Branch and Bound to Solve the Nurse Scheduling Problem
The nurse scheduling problem (NSP) is a complex optimisation problem regarding the allocation of nurses to duty rosters in hospitals. The objective is to ensure that there are sufficient nurses on duty while considering individual preferences with respect to work patterns, requests for leave and financial restrictions, in such a way that all employees are treated equally. In this paper, we exte...
متن کاملBranch-and-bound for biobjective mixed-integer programming
We present a generic branch-and-bound method for finding all the Pareto solutions of a biobjective mixed integer program. Our main contribution is new algorithms for obtaining dual bounds at a node, for checking node fathoming, presolve and duality gap measurement. Our various procedures are implemented and empirically validated on instances from literature and a new set of hard instances. We a...
متن کاملMore Branch-and-Bound Experiments in Convex Nonlinear Integer Programming
Branch-and-Bound (B&B) is perhaps the most fundamental algorithm for the global solution of convex Mixed-Integer Nonlinear Programming (MINLP) problems. It is well-known that carrying out branching in a non-simplistic manner can greatly enhance the practicality of B&B in the context of Mixed-Integer Linear Programming (MILP). No detailed study of branching has heretofore been carried out for MI...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Operations Research
سال: 2007
ISSN: 0399-0559,1290-3868
DOI: 10.1051/ro:2007036